Unspecified Project
نویسندگان
چکیده
منابع مشابه
UNSPECIFIED Tableaux for Diagrammatic Reasoning
Diagrammatic notations, such as the Unified Modeling Language (UML), are in common use in software development. They allow many aspects of software systems to be described diagrammatically, but typically they rely on textual notations for logical constraints. In contrast, spider diagrams provide a visual notation for expressing a natural class of settheoretic statements in a diagrammatic form. ...
متن کاملIndefinite summation with unspecified summands
We provide a new algorithm for indefinite nested summation which is applicable to summands involving unspecified sequences x(n). More than that, we show how to extend Karr’s algorithm to a general summation framework by which additional types of summand expressions can be handled. Our treatment of unspecified sequences can be seen as a first illustrative application of this approach.
متن کاملUnspecified distribution in single disorder problem
We register a stochastic sequence affected by one disorder. Monitoring of the sequence is made in the circumstances when not full information about distributions before and after the change is available. The initial problem of disorder detection is transformed to optimal stopping of observed sequence. Formula for optimal decision functions is derived.
متن کاملAn Optimal Estimating Equation with Unspecified Variances
In estimating equation technique for estimating the mean regression parameters, one important issue is how to choose the weights to improve the efficiency of the estimation. The key idea of this paper is to replace the weights with the empirically estimated covariances. We discuss regression of an outcome on a vector of covariates, and propose an optimal estimating equation approach which achie...
متن کاملDoes my service have unspecified behavior?
Services are loosely coupled interacting software components. Since two or more services are usually composed to one software system, the behavior of an implemented service should not differ to its specification. Therefore we propose an approach to test, if the implementation contains unspecified behavior. Due to the interacting nature of services this is a
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: idea journal
سال: 2020
ISSN: 2208-9217,1445-5412
DOI: 10.37113/ij.v17i01.385